383 research outputs found
Mitigation of cross-saturation effects in resonance-based sensorless switched reluctance drives
The stator and rotor yoke in a switched reluctance motor form magnetic circuit parts that are typically shared by different phases. If these parts saturate due to the excitation of one phase, this will lead to a change of the magnetic characteristics of all other phases sharing these parts. In several position-sensorless methods, cross-saturation leads to a load-dependent position estimation error. In this paper, the influence of cross-saturation on a resonance-based position estimation method is studied. The method extracts position information from electrical resonances triggered in an idle motor phase. A cross-saturation mitigation scheme is presented in order to reduce the commutation position error. The scheme uses only one additional parameter per phase which can be measured automatically during commissioning of the drive. Experimental results at low and medium speed show that the position estimation error remains smaller dan 2 mechanical degrees over the rated load range
Derandomizing Isolation in Space-Bounded Settings
We study the possibility of deterministic and randomness-efficient isolation in space-bounded models of computation: Can one efficiently reduce instances of computational problems to equivalent instances that have at most one solution? We present results for the NL-complete problem of reachability on digraphs, and for the LogCFL-complete problem of certifying acceptance on shallow semi-unbounded circuits.
A common approach employs small weight assignments that make the solution of minimum weight unique. The Isolation Lemma and other known procedures use Omega(n) random bits to generate weights of individual bitlength O(log(n)). We develop a derandomized version for both settings that uses O(log(n)^{3/2}) random bits and produces weights of bitlength O(log(n)^{3/2}) in logarithmic space. The construction allows us to show that every language in NL can be accepted by a nondeterministic machine that runs in polynomial time and O(log(n)^{3/2}) space, and has at most one accepting computation path on every input. Similarly, every language in LogCFL can be accepted by a nondeterministic machine equipped with a stack that does not count towards the space bound, that runs in polynomial time and O(log(n)^{3/2}) space, and has at most one accepting computation path on every input.
We also show that the existence of somewhat more restricted isolations for reachability on digraphs implies that NL can be decided in logspace with polynomial advice. A similar result holds for certifying acceptance on shallow semi-unbounded circuits and LogCFL
A Quantum Time-Space Lower Bound for the Counting Hierarchy
We obtain the first nontrivial time-space lower bound for quantum algorithms
solving problems related to satisfiability. Our bound applies to MajSAT and
MajMajSAT, which are complete problems for the first and second levels of the
counting hierarchy, respectively. We prove that for every real d and every
positive real epsilon there exists a real c>1 such that either: MajMajSAT does
not have a quantum algorithm with bounded two-sided error that runs in time
n^c, or MajSAT does not have a quantum algorithm with bounded two-sided error
that runs in time n^d and space n^{1-\epsilon}. In particular, MajMajSAT cannot
be solved by a quantum algorithm with bounded two-sided error running in time
n^{1+o(1)} and space n^{1-\epsilon} for any epsilon>0. The key technical
novelty is a time- and space-efficient simulation of quantum computations with
intermediate measurements by probabilistic machines with unbounded error. We
also develop a model that is particularly suitable for the study of general
quantum computations with simultaneous time and space bounds. However, our
arguments hold for any reasonable uniform model of quantum computation.Comment: 25 page
Polynomial Identity Testing via Evaluation of Rational Functions
We introduce a hitting set generator for Polynomial Identity Testing based on evaluations of low-degree univariate rational functions at abscissas associated with the variables. In spite of the univariate nature, we establish an equivalence up to rescaling with a generator introduced by Shpilka and Volkovich, which has a similar structure but uses multivariate polynomials in the abscissas.
We study the power of the generator by characterizing its vanishing ideal, i.e., the set of polynomials that it fails to hit. Capitalizing on the univariate nature, we develop a small collection of polynomials that jointly produce the vanishing ideal. As corollaries, we obtain tight bounds on the minimum degree, sparseness, and partition size of set-multi-linearity in the vanishing ideal. Inspired by an alternating algebra representation, we develop a structured deterministic membership test for the vanishing ideal. As a proof of concept we rederive known derandomization results based on the generator by Shpilka and Volkovich, and present a new application for read-once oblivious arithmetic branching programs that provably transcends the usual combinatorial techniques
Polynomial Identity Testing via Evaluation of Rational Functions
We introduce a hitting set generator for Polynomial Identity Testing based on
evaluations of low-degree univariate rational functions at abscissas associated
with the variables. Despite the univariate nature, we establish an equivalence
up to rescaling with a generator introduced by Shpilka and Volkovich, which has
a similar structure but uses multivariate polynomials in the abscissas.
We study the power of the generator by characterizing its vanishing ideal,
i.e., the set of polynomials that it fails to hit. Capitalizing on the
univariate nature, we develop a small collection of polynomials that jointly
produce the vanishing ideal. As corollaries, we obtain tight bounds on the
minimum degree, sparseness, and partition class size of set-multilinearity in
the vanishing ideal. Inspired by an alternating algebra representation, we
develop a structured deterministic membership test for the vanishing ideal. As
a proof of concept, we rederive known derandomization results based on the
generator by Shpilka and Volkovich and present a new application for read-once
oblivious algebraic branching programs.Comment: Appeared at ITCS 202
- …